More from this Author

The Optimal Implementation of Functional Programming Languages

by Andrea Asperti, Stefano Guerrini, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. V. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)